Peter Schroeder-Heister：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (16)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Logik in der Philosophie (Philosophische Impulse Band 6)

Synchron Wissenschaftsverlag der Autoren

Wolfgang Spohn, Peter Schroeder-Heister, Erik J. Olsson

年:

2005

语言:

german

文件:

DJVU, 7.12 MB

0 / 0

german, 2005

Zeichen, Kalkül, Wahrscheinlichkeit. Elemente einer Mathesis universalis bei Leibniz. (Pragmatik. Handbuch pragmatischen Denkens. Bd. 1. Pragmatisches Denken von den Ursprüngen bis zum 18. Jahrhundert, 392-414).

Felix Meiner

Jurgen Mittelstrass, Peter Schroeder-Heister

年:

1986

语言:

german

文件:

PDF, 4.45 MB

0 / 0

german, 1986

Substructural Logics

Clarendon Press

Peter Schroeder-Heister, Kosta Dosen

年:

1993

语言:

english

文件:

DJVU, 3.12 MB

0 / 0

english, 1993

Substructural Logics

Clarendon Press

Kosta Došen, Peter Schroeder-Heister

年:

1994

语言:

english

文件:

DJVU, 3.70 MB

0 / 0

english, 1994

Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)

年:

1991

语言:

english

文件:

DJVU, 3.64 MB

0 / 0

english, 1991

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)

年:

1996

语言:

english

文件:

DJVU, 2.75 MB

0 / 0

english, 1996

Advances in Proof-Theoretic Semantics

Springer

Thomas Piecha, Peter Schroeder-Heister

年:

2015

语言:

english

文件:

PDF, 2.68 MB

0 / 4.5

english, 2015

Enzyklopädie Philosophie und Wissenschaftstheorie: Band 1: A–B

J.B. Metzler

Gottfried Gabriel, Matthias Gatzemeier, Carl F. Gethmann, Peter Janich, Friedrich Kambartel, Kuno Lorenz, Klaus Mainzer, Peter Schroeder-Heister, Christian Thiel, Reiner Wimmer, Martin Carrier (auth.), Jürgen Mittelstraß (eds.)

年:

2005

语言:

german

文件:

PDF, 60.84 MB

0 / 0

german, 2005

Advances in Proof-Theoretic Semantics

Springer

Thomas Piecha, Peter Schroeder-Heister

年:

2015

语言:

english

文件:

PDF, 2.69 MB

0 / 0

english, 2015

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

年:

2001

语言:

english

文件:

PDF, 2.52 MB

0 / 0

english, 2001

Advances in Proof-Theoretic Semantics

Springer International Publishing

Thomas Piecha, Peter Schroeder-Heister (eds.)

年:

2016

语言:

english

文件:

PDF, 2.69 MB

0 / 0

english, 2016

Advances in Proof-Theoretic Semantics

Springer

Thomas Piecha, Peter Schroeder-Heister (eds.)

年:

2016

语言:

english

文件:

PDF, 1.69 MB

0 / 0

english, 2016

Advances in proof-theoretic semantics

Springer

Piecha, Thomas, Schroeder-Heister, Peter Joseph

年:

2016

语言:

english

文件:

PDF, 2.68 MB

0 / 0

english, 2016

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

年:

2001

语言:

english

文件:

PDF, 1.73 MB

0 / 0

english, 2001

Advances in Proof-Theoretic Semantics

Springer

Thomas Piecha & Peter Schroeder-Heister [Piecha, Thomas & Schroeder-Heister, Peter]

年:

2015

语言:

english

文件:

EPUB, 347 KB

0 / 0

english, 2015

The Logical Writings of Karl Popper

Springer Nature

David Binder, Thomas Piecha, Peter Schroeder-Heister

年:

2022

语言:

english

文件:

PDF, 7.33 MB

0 / 4.5

english, 2022